#include "ecc.h"
#include "aes.h"

//define the server public key
EccPoint ser_pub_key = {
    {0xDB, 0x2B, 0x42, 0xB8, 0xED, 0x9D, 0xA3, 0x2B, 0x34, 0x74, 0x5B, 0x75, 0xE5, 0x9E, 0x55, 0x84},
    {0x54, 0x63, 0x45, 0xAD, 0x7C, 0xFA, 0x0D, 0x21, 0x60, 0x7D, 0x08, 0x3D, 0xF2, 0x9B, 0x25, 0xAE}};
//define the server private key
uint8_t ser_pri_key[NUM_ECC_DIGITS] = {0x83, 0x15, 0xED, 0x84, 0x79, 0xBB, 0x55, 0xE8, 0x4A, 0x09, 0xAE, 0xCA, 0xC3, 0x7B, 0x19, 0xEE};

